$\forall$$p$:($\mathbb{Q}$ List), $F$, $G$:(\{0..$\parallel$$p$$\parallel^{-}$\}$\rightarrow\mathbb{Q}$).
\\[0ex]($\forall$$q$:$\mathbb{Q}$. ($q$ $\in$ $p$) $\Rightarrow$ 0 $\leq$ $q$)
\\[0ex]$\Rightarrow$ ($\forall$$x$:\{0..$\parallel$$p$$\parallel^{-}$\}. $F$($x$) $\leq$ $G$($x$))
\\[0ex]$\Rightarrow$ weighted{-}sum($p$;$F$) $\leq$ weighted{-}sum($p$;$G$)